package typechecker.ast.term;

import typechecker.ast.type.TypeVariable;

public class TypeAbstraction extends Expression{
	private TypeVariable tvar ;
	private Expression body;
	
	
	public TypeAbstraction( TypeVariable tvar , Expression body) {
		this.tvar = tvar ;
		this.body = body;
	}


	@Override
	public String preetyPrint() {
		return "/\\"+ tvar.preetyPrint() + "." + body.preetyPrint();
	}
	
	public Expression getBody() {
		return body;
	}
	
	public TypeVariable getTvar() {
		return tvar;
	}
}
